Resolution of Actual Conflicts in Constant Speed Continuous Petri Nets

نویسندگان

  • Zdenek Hanzalek
  • L. Recalde
  • J. Julvez
چکیده

A computation of an instantaneous firing speed in an invariant behavior state of a Constant speed Continuous Petri Net is presented in this article. The instantaneous firing speeds, constrained by a system of inequalities, are represented by polytopes in order to clarify a nondeterminism issued by an actual conflict. The instantaneous firing speeds are determined by a subset of the polytope vertices or, when the actual conflicts are resolved by global priorities, they are found by one formulation of a linear programming problem per each priority level. An example of water production shows consequencies of the fact that an infinitely small quantity of the marking in a conservative component enables to run the water production system at its maximum speed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Continuous Petri nets and polytopes

This article addresses the problem of the computation of instantaneous firing speed in Invariant Behavior state (IB-state) of Constant speed Continuous Petri Net (CCPN) with presence of actual conflicts. The adopted approach is based on polyhedral computations applied to specify an area of possible instantaneous firing speed. If the actual conflicts are resolved by global priorities, the instan...

متن کامل

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

Modeling of Continuous Systems Using Modified Petri Nets

Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...

متن کامل

Approximation of Stochastic Petri Nets Steady State by Cpn with Piecewise-constant Maximal Firing Speeds

Reliability analysis for reparable multi-components systems is based on stochastic discrete event models like Markov models or Stochastic Petri Nets (SPNs). When the number of components increases, the analytical expression of the steady state is tedious to work out because of the combinatory explosion with discrete models. For this reason, fluidification is investigated to estimate the asympto...

متن کامل

A Novel Continuous Model to Approximate Time Petri Nets: Modelling and Analysis

In order to approximate discrete-event systems in which there exist considerable states and events, David and Alla define a continuous Petri net (CPN). So far, CPNs have been a useful tool not only for approximating discrete-event systems but also for modelling continuous processes. Due to different ways of calculating instantaneous firing speeds of transitions, various continuous Petri net mod...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004